Control flow graph

Results: 74



#Item
21New complexity results for time-constrained dynamical optimal path problems

New complexity results for time-constrained dynamical optimal path problems

Add to Reading List

Source URL: www.emis.ams.org

Language: English - Date: 2010-02-01 11:59:55
22Joint Congestion Control and Distributed Scheduling for Throughput Guarantees in Wireless Networks Gaurav Sharma School of Elec. & Comp. Engg. Purdue University

Joint Congestion Control and Distributed Scheduling for Throughput Guarantees in Wireless Networks Gaurav Sharma School of Elec. & Comp. Engg. Purdue University

Add to Reading List

Source URL: ece.uwaterloo.ca

Language: English - Date: 2006-12-08 16:38:14
23SMT-based False Positive Elimination in Static Program Analysis Maximilian Junker1 , Ralf Huuck2 , Ansgar Fehnker2 , Alexander Knapp3 1 2

SMT-based False Positive Elimination in Static Program Analysis Maximilian Junker1 , Ralf Huuck2 , Ansgar Fehnker2 , Alexander Knapp3 1 2

Add to Reading List

Source URL: www.cse.unsw.edu.au

Language: English - Date: 2013-01-01 18:04:17
24StackAnalyzer for TriCore StackAnalyzer automatically determines the worst-case stack usage of the tasks in your application. The analysis results of the analyzed binary executable are shown as annotations in the call gr

StackAnalyzer for TriCore StackAnalyzer automatically determines the worst-case stack usage of the tasks in your application. The analysis results of the analyzed binary executable are shown as annotations in the call gr

Add to Reading List

Source URL: www.absint.com

Language: English - Date: 2015-01-19 06:15:30
25StackAnalyzer for LEON3 StackAnalyzer automatically determines the worst-case stack usage of the tasks in your application. The analysis results of the analyzed binary executable are shown as annotations in the call grap

StackAnalyzer for LEON3 StackAnalyzer automatically determines the worst-case stack usage of the tasks in your application. The analysis results of the analyzed binary executable are shown as annotations in the call grap

Add to Reading List

Source URL: www.absint.com

Language: English - Date: 2015-01-19 06:15:30
26Symbolic Interpretation of Legacy Assembly Language Jacques Carette, Pulak Kumar Chowdhury Dept. of Computing and Software McMaster University Hamilton, Ontario L8S 4K1 Abstract

Symbolic Interpretation of Legacy Assembly Language Jacques Carette, Pulak Kumar Chowdhury Dept. of Computing and Software McMaster University Hamilton, Ontario L8S 4K1 Abstract

Add to Reading List

Source URL: www.cas.mcmaster.ca

Language: English - Date: 2005-11-14 17:37:09
27StackAnalyzer for LEON2 StackAnalyzer automatically determines the worst-case stack usage of the tasks in your application. The analysis results of the analyzed binary executable are shown as annotations in the call grap

StackAnalyzer for LEON2 StackAnalyzer automatically determines the worst-case stack usage of the tasks in your application. The analysis results of the analyzed binary executable are shown as annotations in the call grap

Add to Reading List

Source URL: www.absint.com

Language: English - Date: 2015-01-19 06:15:30
28Automatic Mediation of Privacy-Sensitive Resource Access in Smartphone Applications Benjamin Livshits and Jaeyeon Jung Microsoft Research Abstract

Automatic Mediation of Privacy-Sensitive Resource Access in Smartphone Applications Benjamin Livshits and Jaeyeon Jung Microsoft Research Abstract

Add to Reading List

Source URL: research.microsoft.com

Language: English - Date: 2013-08-07 18:14:03
29

PDF Document

Add to Reading List

Source URL: www.blackhat.com

Language: English - Date: 2015-05-28 15:51:40
30Graal IR: An Extensible Declarative Intermediate Representation Gilles Duboscq∗ Lukas Stadler∗ Doug Simon† Christian Wimmer† Thomas Würthinger† Hanspeter Mössenböck∗

Graal IR: An Extensible Declarative Intermediate Representation Gilles Duboscq∗ Lukas Stadler∗ Doug Simon† Christian Wimmer† Thomas Würthinger† Hanspeter Mössenböck∗

Add to Reading List

Source URL: ssw.jku.at

Language: English - Date: 2013-06-03 13:35:12